Grid Services Adaptation in a Grid Workflow

At present the grid workflow is a focus topic in the research on grid technologies, but few approaches are provided for designing and checking the grid services adaptation in a workflow, especially in a formal way. As a mobile process algebra, Pi-Calculus is suitable tool for modeling and analyzing distributed, concurrent and dynamic system, such as grid workflow. Addressing the protocol level deadlock, a grid service adaptor is proposed with the Pi-Calculus based Grid Services Deadlock Eliminating algorithm. Through analyzing the experiment results the algorithm proves to be available and useful for service adaptation. As a conclusion the future research work is also discussed.